% Fold 1
/*
example(e391,10,20).
example(e370,10,20).
example(e65,10,20).
example(e17,10,20).
example(e331,10,20).
example(e362,10,20).
example(e56,10,20).
example(e130,10,20).
example(e81,10,20).
example(e40,10,20).
example(e444,10,20).
example(e63,10,20).
example(e504,10,20).
example(e565,10,20).
example(e473,10,20).
example(e29,10,20).
example(e240,10,20).
example(e610,10,20).
example(e567,10,20).
example(e220,10,20).
example(e272,10,20).
example(e206,10,20).
example(e243,10,20).
example(e339,10,20).
example(e491,10,20).
example(e454,10,20).
*/

% Fold 2


example(e107,10,20).
example(e223,10,20).
example(e306,10,20).
example(e471,10,20).
example(e633,10,20).
example(e320,10,20).
example(e80,10,20).
example(e325,10,20).
example(e505,10,20).
example(e332,10,20).
example(e631,10,20).
example(e406,10,20).
example(e518,10,20).
example(e103,10,20).
example(e361,10,20).
example(e139,10,20).
example(e333,10,20).
example(e643,10,20).
example(e138,10,20).
example(e114,10,20).
example(e603,10,20).
example(e257,10,20).
example(e489,10,20).
example(e586,10,20).

% Fold 3

example(e503,10,20).
example(e323,10,20).
example(e551,10,20).
example(e242,10,20).
example(e386,10,20).
example(e598,10,20).
example(e275,10,20).
example(e389,10,20).
example(e241,10,20).
example(e125,10,20).
example(e353,10,20).
example(e164,10,20).
example(e48,10,20).
example(e359,10,20).
example(e597,10,20).
example(e301,10,20).
example(e686,10,20).
example(e371,10,20).
example(e236,10,20).
example(e650,10,20).
example(e584,10,20).
example(e46,10,20).
example(e381,10,20).
example(e527,10,20).
example(e11,10,20).
example(e118,10,20).
example(e623,10,20).
example(e385,10,20).
example(e314,10,20).

% Fold 4

example(e6,10,20).
example(e28,10,20).
example(e288,10,20).
example(e39,10,20).
example(e688,10,20).
example(e413,10,20).
example(e486,10,20).
example(e235,10,20).
example(e469,10,20).
example(e57,10,20).
example(e589,10,20).
example(e685,10,20).
example(e344,10,20).
example(e256,10,20).
example(e543,10,20).
example(e248,10,20).
example(e467,10,20).
example(e536,10,20).
example(e150,10,20).
example(e674,10,20).
example(e66,10,20).
example(e196,10,20).
example(e183,10,20).
example(e680,10,20).
example(e16,10,20).
example(e368,10,20).
example(e287,10,20).
example(e221,10,20).
example(e620,10,20).
example(e253,10,20).
example(e106,10,20).
example(e201,10,20).

% Fold 5

example(e230,10,20).
example(e308,10,20).
example(e172,10,20).
example(e131,10,20).
example(e424,10,20).
example(e488,10,20).
example(e394,10,20).
example(e462,10,20).
example(e179,10,20).
example(e418,10,20).
example(e487,10,20).
example(e540,10,20).
example(e560,10,20).
example(e229,10,20).
example(e525,10,20).
example(e466,10,20).
example(e514,10,20).
example(e163,10,20).
example(e321,10,20).
example(e264,10,20).
example(e582,10,20).
example(e116,10,20).
example(e683,10,20).
example(e147,10,20).
example(e613,10,20).
example(e622,10,20).
example(e5,10,20).
example(e231,10,20).
example(e250,10,20).
example(e575,10,20).
example(e18,10,20).
example(e506,10,20).
example(e343,10,20).


% Fold 6

example(e594,10,20).
example(e34,10,20).
example(e184,10,20).
example(e102,10,20).
example(e457,10,20).
example(e375,10,20).
example(e157,10,20).
example(e168,10,20).
example(e234,10,20).
example(e438,10,20).
example(e611,10,20).
example(e197,10,20).
example(e660,10,20).
example(e249,10,20).
example(e12,10,20).
example(e349,10,20).
example(e212,10,20).
example(e265,10,20).
example(e497,10,20).
example(e664,10,20).
example(e409,10,20).
example(e472,10,20).
example(e395,10,20).
example(e661,10,20).
example(e479,10,20).
example(e498,10,20).


% Fold 7

example(e377,10,20).
example(e121,10,20).
example(e602,10,20).
example(e562,10,20).
example(e552,10,20).
example(e588,10,20).
example(e4,10,20).
example(e60,10,20).
example(e517,10,20).
example(e402,10,20).
example(e38,10,20).
example(e144,10,20).
example(e347,10,20).
example(e651,10,20).
example(e415,10,20).
example(e324,10,20).
example(e460,10,20).
example(e427,10,20).
example(e376,10,20).
example(e180,10,20).
example(e345,10,20).
example(e268,10,20).
example(e446,10,20).
example(e26,10,20).
example(e37,10,20).
example(e140,10,20).
example(e439,10,20).
example(e185,10,20).
example(e605,10,20).
example(e96,10,20).
example(e519,10,20).
example(e640,10,20).
example(e414,10,20).
example(e117,10,20).
example(e127,10,20).

% Fold 8

example(e485,10,20).
example(e434,10,20).
example(e608,10,20).
example(e453,10,20).
example(e20,10,20).
example(e422,10,20).
example(e124,10,20).
example(e458,10,20).
example(e31,10,20).
example(e346,10,20).
example(e492,10,20).
example(e689,10,20).
example(e431,10,20).
example(e420,10,20).
example(e50,10,20).
example(e322,10,20).
example(e192,10,20).
example(e501,10,20).
example(e496,10,20).
example(e315,10,20).
example(e274,10,20).
example(e295,10,20).
example(e255,10,20).
example(e337,10,20).
example(e407,10,20).
example(e441,10,20).
example(e447,10,20).
example(e500,10,20).
example(e390,10,20).
example(e151,10,20).
example(e654,10,20).
example(e671,10,20).
example(e690,10,20).
example(e43,10,20).
example(e120,10,20).
example(e558,10,20).
example(e228,10,20).
example(e566,10,20).
example(e89,10,20).
example(e129,10,20).
example(e524,10,20).
example(e672,10,20).
example(e521,10,20).
example(e616,10,20).

% Fold 9

example(e573,10,20).
example(e499,10,20).
example(e293,10,20).
example(e262,10,20).
example(e600,10,20).
example(e41,10,20).
example(e30,10,20).
example(e258,10,20).
example(e211,10,20).
example(e104,10,20).
example(e436,10,20).
example(e663,10,20).
example(e642,10,20).
example(e100,10,20).
example(e94,10,20).
example(e625,10,20).
example(e286,10,20).
example(e657,10,20).
example(e576,10,20).
example(e8,10,20).
example(e216,10,20).
example(e675,10,20).
example(e203,10,20).
example(e205,10,20).
example(e146,10,20).
example(e156,10,20).
example(e538,10,20).


% Fold 10

example(e539,10,20).
example(e481,10,20).
example(e75,10,20).
example(e592,10,20).
example(e280,10,20).
example(e534,10,20).
example(e421,10,20).
example(e70,10,20).
example(e348,10,20).
example(e615,10,20).
example(e109,10,20).
example(e583,10,20).
example(e604,10,20).
example(e119,10,20).
example(e175,10,20).
example(e351,10,20).
example(e388,10,20).
example(e14,10,20).
example(e380,10,20).
example(e86,10,20).
example(e464,10,20).
example(e59,10,20).
example(e294,10,20).
example(e155,10,20).
example(e74,10,20).
example(e326,10,20).
example(e299,10,20).
example(e279,10,20).
example(e318,10,20).
example(e159,10,20).
example(e88,10,20).
